Failed to solve the following constraints:
  Is empty: y ≅ x (stuck)
      [ at Issue1408b.agda:20,12-14 ]
